1–5 von 5 Ergebnissen
|

    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018

    Comparing Formal Verification Approaches of Interlocking Systems

    Haxthausen, Anne Elisabeth / Nguyen, Hoang Nga / Roggenbach, Markus | British Library Conference Proceedings | 2016

    Visualising Timed CSP Train Simulations for Capacity

    Roberts, Lloyd / Smith, Mike / Moller, Faron et al. | DataCite | 2014

    A Train Protection Logic Based on Topological Manifolds for Virtual Coupling

    Zhang, Yong / Wang, Haifeng / James, Phillip et al. | IEEE | 2022